--compile --no-main --ghc-flag=-idoc/user-manual
